<?php

class test_empty_set extends TestSet {


}

?>
